clutter.paintCompletedTimestamp: cogl_flush() before glFinish()

Calling glFinish() doesn't give us a reliable timestamp unless we
flush Cogl rendering to GL first.

diff --git a/src/shell-global.c b/src/shell-global.c
index bf38e7d9803b36e69abd29398301f1415620bf3b..8a5c9f3e1b64d28f1568caa21a9343b9bbadc36a 100644 (file)
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -834,6 +834,7 @@ global_stage_after_paint (ClutterStage *stage,
       if (!finish)
         load_gl_symbol ("glFinish", (void **)&finish);
 
+      cogl_flush ();
       finish ();
 
       shell_perf_log_event (shell_perf_log_get_default (),